Fundamental theorems